Revision theory - PDFSEARCH.IO - Document Search Engine

Revision theory
Results: 359

#	Item
351	Propositional Dynamic Logic as a Logic of Belief Revision Jan van Eijck and Yanjing Wang Center for Mathematics and Computer Science (CWI) Kruislaan[removed]SJ Amsterdam, The Netherlands {jve,y.wang}@cwi.nl Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 10:31:51 Philosophical logic Logic programming Propositional calculus Metalogic Model theory Epistemic modal logic Modal logic Interpretation Function Logic Mathematical logic Mathematics
352	The Programming Language Oberon Revision[removed]Niklaus Wirth Add to Reading List Source URL: www.inf.ethz.ch Language: English - Date: 2013-10-20 11:13:49 Data types Procedural programming languages C programming language Type theory Source code C Pointer ALGOL 68 Variable Software engineering Computing Computer programming
353	MSC2000 MSC2000 The following mathematics subject classification, MSC2000, is the revision of Add to Reading List Source URL: www.ams.org Language: English - Date: 2010-08-16 13:31:25 Algebraic structures Lattice theory Mathematical structures Ring theory Algebras Representation theory Universal algebra Algebraic geometry Von Neumann algebra Abstract algebra Algebra Mathematics
354	AN INTRODUCTION TO THE SHOCK RESPONSE SPECTRUM Revision S By Tom Irvine Add to Reading List Source URL: www.vibrationdata.com Language: English - Date: 2013-06-18 17:38:08 Mathematics Fourier analysis Oscillators Control theory Shock response spectrum Shock Vibration Frequency Accelerometer Mathematical analysis Physics Signal processing
355	Explicit Conversion Operator Draft Working Paper (revision 3) Lois Goldthwaite, Michael Wong, Jens Maurer, Alisdair Add to Reading List Source URL: www.open-std.org Language: English - Date: 2007-10-05 10:53:12 C++ Data types Type theory Method Primitive types C++11 Copy constructor C++ classes Pointer Software engineering Computing Computer programming
356	Explicit Conversion Operator Draft Working Paper (revision 3) Lois Goldthwaite, Michael Wong, Jens Maurer, Alisdair Add to Reading List Source URL: www.open-std.org Language: English - Date: 2007-10-05 10:53:12 C++ Data types Type theory Method Primitive types C++11 Copy constructor C++ classes Pointer Software engineering Computing Computer programming
357	Bullet Graph Design Specification Last Revision: October 10, 2013 Add to Reading List Source URL: www.perceptualedge.com Language: English - Date: 2013-10-10 16:44:16 Scale Graph Plot Graph theory Bullet graph Infographics
358	Microsoft Word - EvansGoslingCarroll_ICWSM08_SUBMISSION Revision.doc Add to Reading List Source URL: www.aaai.org Language: English - Date: 2009-02-01 19:57:36 World Wide Web Social psychology Interpersonal perception Self-verification theory Facebook Personality psychology Social networking service Big Five personality traits Motion Picture Association of America film rating system Behavior Mind Behavioural sciences
359	PDF Document Add to Reading List Source URL: pigozzi.org Language: English - Date: 2006-08-19 13:29:39 Paradoxes Social choice theory Social epistemology Dilemmas Discursive dilemma Belief revision Proposition Truth Argument Philosophy Logic Science

UPDATE